Proceedings Twelfth International Workshop on Computing with Terms and Graphs
نویسندگان
چکیده
منابع مشابه
Proceedings of the Twelfth International Workshop on Non-Monotonic Reasoning
Judgment aggregation is a recent formal discipline thatstudies how to aggregate individual judgments to formcollective decisions. Examples are expert panels, legalcourts, boards, and councils. The problems investigatedin this new field are relevant and common to many situ-ations. Nevertheless, the existing procedures are ideal-ized and, as for the related problems of pre...
متن کاملComputing with Terms and Graphs
Research in term and graph rewriting ranges from theoretical questions to practical issues. Computing with graphs handles the sharing of common subexpressions in a natural and seamless way, and improves the efficiency of computations in space and time. Sharing is ubiquitous in several research areas, as witnessed by the modelling of first-and higher-order term rewriting by (acyclic or cyclic) g...
متن کاملProceedings Twelfth International Conference on Very Large Data Bases
1 . I n t r o d u c t i o n I n a database c o n t e x t , a lot of w o r k has been done on i n t e g r i t y en forcement , i .e. , on check ing the v a l i d i t y of a database s t a t e w i t h respect t o a g iven set of i n t e g r i t y c o n s t r a i n t s . T h e q u e s t i o n w h e t h e r t h e c o n s t r a i n t set i t se l f is cons is tent has t i l l now received q u i t ...
متن کاملInternational Workshop on Computing with Biomolecules
In this paper we relate the membrane systems with surface objects to a fragment of Brane calculus based on Pino, Phago and Exo operations, by encoding this fragment into the membrane systems with surface objects. We open the discussion on distributing the global multiset of rules of the membrane systems with surface objects into local sets of rules.
متن کاملProceedings of the International Workshop on
Today’s industry is pushed by the competitive pressure to revise the business model by opening the organizational boundaries to suppliers, clients and partners. As a side effect, knowledge sharing within the market increases and organizations may lose control on strategical knowledge that can be exploited by competitors. For this reason process monitoring today cannot fail in controlling the co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic proceedings in theoretical computer science
سال: 2023
ISSN: ['2075-2180']
DOI: https://doi.org/10.4204/eptcs.377.0